PoPL Lecture 14
-
|-is “with the assumption”Which is to say: How to evaluate $(+ x 3)$?
With the assumption that ${x \to 5}$, $(+ x 3) \implies 8$
Or, ${x \to 5} - (+ x 3) \implies 8$
|- is “with the assumption”
Which is to say: How to evaluate $(+ x 3)$?
With the assumption that ${x \to 5}$, $(+ x 3) \implies 8$
| Or, ${x \to 5} | - (+ x 3) \implies 8$ |